Propositional calculus

Results: 1046



#Item
981Logical syntax / Non-classical logic / Deduction / Philosophical logic / Probabilistic logic / Entailment / Inference / Modal logic / First-order logic / Logic / Mathematical logic / Propositional calculus

PDF Document

Add to Reading List

Source URL: kryten.mm.rpi.edu

Language: English - Date: 2008-09-18 22:39:20
982Logical syntax / Metalogic / Philosophical logic / Propositional calculus / Logic / Deduction / Entailment

PDF Document

Add to Reading List

Source URL: hitoshi.berkeley.edu

Language: English - Date: 2009-11-17 04:09:33
983Logic / Propositional calculus / Semantics / Algebraic logic / Boolean satisfiability problem / Tautology / Conjunctive normal form / Binary decision diagram / Disjunctive normal form / Boolean algebra / Mathematics / Mathematical logic

PDF Document

Add to Reading List

Source URL: configit.com

Language: English - Date: 2013-07-18 08:44:52
984Model theory / Philosophical logic / Propositional calculus / Non-classical logic / Autoepistemic logic / Kripke semantics / Interpretation / Entailment / Non-monotonic logic / Logic / Mathematical logic / Modal logic

Noteson Nonmonotonic Autoepistemic Propositional Logic

Add to Reading List

Source URL: zeszyty-naukowe.wwsi.edu.pl

Language: English - Date: 2012-12-20 08:41:24
985Classical logic / Semantics / Axiology / First-order logic / Propositional calculus / Predicate / Outline of logic / Logic / Mathematical logic / Predicate logic

PDF Document

Add to Reading List

Source URL: www.yorku.ca

Language: English - Date: 2008-09-03 01:11:41
986Semantics / Boolean algebra / Logical syntax / Interpretation / Many-valued logic / Tautology / Propositional formula / Truth table / Logical connective / Logic / Mathematical logic / Propositional calculus

PDF Document

Add to Reading List

Source URL: www.wv.inf.tu-dresden.de

Language: English - Date: 2011-08-04 06:29:09
987Semantics / Logical truth / Mathematical logic / Boolean algebra / Interpretation / Tautology / Well-formed formula / Function / Truth table / Logic / Mathematics / Propositional calculus

PDF Document

Add to Reading List

Source URL: www.uky.edu

Language: English - Date: 2009-02-12 16:35:04
988Philosophical logic / Propositions / Modal logic / Propositional calculus / Factual relativism / Proposition / Contingency / Truth / Categorical proposition / Logic / Philosophy / Relativism

PDF Document

Add to Reading List

Source URL: www.ub.edu

Language: English - Date: 2009-10-27 11:09:52
989Propositional calculus / Logical truth / Formal languages / Logical syntax / Principia Mathematica / Emil Leon Post / Type theory / Entscheidungsproblem / Tautology / Logic / Mathematics / Mathematical logic

Volume5-11-Urquhart.dvi

Add to Reading List

Source URL: www.ualberta.ca

Language: English - Date: 2009-01-22 01:11:43
990Propositional calculus / Formal systems / Logical syntax / Logical truth / Natural deduction / Sequent / Rule of inference / Formal proof / First-order logic / Logic / Mathematical logic / Proof theory

PDF Document

Add to Reading List

Source URL: www.sfu.ca

Language: English - Date: 2004-03-31 23:23:25
UPDATE